Merge pull request #1105 from antonio-nino-diaz-arm/an/epd1-bit
authordavidcunado-arm <[email protected]>
Mon, 25 Sep 2017 22:34:28 +0000 (23:34 +0100)
committerGitHub <[email protected]>
Mon, 25 Sep 2017 22:34:28 +0000 (23:34 +0100)
Set TCR_EL1.EPD1 bit to 1

1  2 
include/lib/aarch64/arch.h

Simple merge